Constraint inference - PDFSEARCH.IO - Document Search Engine

Constraint inference
Results: 52

#	Item
11	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
12	Partial Evaluation in Prolog: Some Improvements about Cuts and Control M. Bugliesi F. Russo Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:17:54 Logic Functions and mappings Automated theorem proving Resolution Prolog Function Constraint logic programming Mathematics Mathematical logic Rules of inference
13	Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-06-12 04:54:36 Computing Constraint satisfaction problem Type class Lambda calculus Normalisation by evaluation Constraint inference Declarative programming Constraint programming Software engineering
14	An Algorithm for Checking the Disjointness of Types Manfred Widera Fachbereich Informatik FernUniversität HagenHagen Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computing Data types Constraint programming Inference Program analysis Type system Type inference Function Monad Software engineering Type theory Mathematics
15	Constraint Acquisition via Partial Queries keywords: Constraints, Modeling Abstract We propose to learn constraint networks by asking the user partial queries, that is, to classify assignments on subsets of the variables Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2013-01-30 05:47:45 Theoretical computer science Constraint satisfaction Constraint graph FO Constraint Decomposition method Constraint inference Constraint programming Software engineering Computer programming
16	The Range Constraint: Algorithms and Implementation Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh2 1 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Computing Local consistency Constraint satisfaction problem Constraint satisfaction Maximum flow problem Constraint inference Constraint programming Software engineering Computer programming
17	Rina Dechter 1 Introduction: • The constraint network model Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:28 Theoretical computer science Constraint graph Decomposition method Hypergraph Bayesian network Constraint inference Constraint programming Software engineering Computer programming
18	Principles and Methods for Automated Inference Rina Dechter and Irina Rish Information and Computer Science Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:22 Functions and mappings Statistics Bayesian network Constraint satisfaction Constraint optimization Function Constraint logic programming Constraint programming Mathematics Mathematical optimization
19	Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints∗ Christian Bessiere LIRMM, CNRS and U. Montpellier Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:28 Computing Local consistency Constraint satisfaction problem Constraint satisfaction Maximum flow problem Constraint inference Constraint programming Software engineering Computer programming
20	Textual Inference by Combining Multiple Logic Programming Paradigms Chitta Baral Gregory Gelfond Michael Gelfond Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:19 Science Reasoning Programming paradigms Constraint programming Non-classical logic Stable model semantics Prolog Inference Negation as failure Logic Logic programming Artificial intelligence

UPDATE